Partial evaluation - PDFSEARCH.IO - Document Search Engine

Partial evaluation
Results: 234

#	Item
111	Transforming Interpreters into Inverse Interpreters by Partial Evaluation Robert Gluck ¨ ∗ Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language implementation Theoretical computer science Models of computation Evaluation strategy Partial evaluation Inverse function Programming language Compiler Monad Computing Software engineering Computer programming
112	BRICS Basic Research in Computer Science BRICS RSDanvy & Rhiger: Compiling Actions by Partial Evaluation, Revisited Compiling Actions by Partial Evaluation, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Programming language implementation Compiler optimizations Evaluation strategy Incremental computing Partial evaluation Interpreter Eval Scheme Compiler Software engineering Computing Computer programming
113	BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Applied mathematics Normalisation by evaluation Combinatory logic Church encoding Type theory Fixed-point combinator Lambda calculus Theoretical computer science Mathematical logic
114	Partial Evaluation for Hierarchies of Logic Theories M. Bugliesi ENIDATA S.p.A Viale Aldo Moro 38, 40121 Bologna Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:27:11 Logic programming Propositional calculus Function Substitution Mathematics Mathematical logic Logic
115	Partial Evaluation using Rewrite Rules A Specification of a Partial Evaluator for Similix in Stratego Lennart Swart 13th September 2002 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functions and mappings Compiler optimizations Evaluation strategy Computability theory Cross-platform software Lambda calculus Partial evaluation Function Eval Software engineering Computing Computer programming
116	The five articles in this special issue are the extended, journal versions of the papers first presented at the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. PEPM’12 took place in January 20 Add to Reading List Source URL: okmij.org Language: English - Date: 2013-07-16 20:02:01 Type theory Theoretical computer science Functional languages Cross-platform software Functional programming Domain-specific language Type system Scala Partial evaluation Computing Software engineering Programming language theory
117	Vocal Characteristics, Speech, and Behavior of Telephone Interviewers by Jessica Susan Broome A dissertation submitted in partial fulfillment of the requirements for the degree of Add to Reading List Source URL: home.isr.umich.edu Language: English - Date: 2015-01-19 15:35:01 Statistics Evaluation methods Research methods Methodology Market research Computer-assisted telephone interviewing Sampling Interview Norbert Schwarz Science Data collection Survey methodology
118	A Generic Framework for the Analysis and Specialization of Logic Programs? Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:06:12 Abstract interpretation Mathematical logic Algorithm Partial evaluation Programming language Principles of Programming Languages Logic programming Logic Scientific modelling Science Software engineering Computing
119	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-01 22:28:49 Computational complexity theory Evaluation strategy Incremental computing Partial evaluation Parameterized complexity FO ALGOL 68 Software engineering Computing Programming language theory
120	Vol. 2, No. 2, 2013 http://jcgt.org Journal of Computer Graphics Techniques Efficient Spherical Harmonic Evaluation Add to Reading List Source URL: jcgt.org Language: English - Date: 2013-09-09 20:40:12 Atomic physics Orthogonal polynomials Rotational symmetry Partial differential equations Fourier analysis Spherical harmonics Associated Legendre polynomials Legendre polynomials Spherical coordinate system Mathematical analysis Special functions Mathematics

UPDATE